A Categorical Axiomatics for Bisimulation
نویسندگان
چکیده
منابع مشابه
A Categorical Axiomatics for Bisimulation
We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. We work with 2-monads, T , on Cat. Operations on processes, such as nondeterministic sum, prefixing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T . We may define the notion of open map for any such 2-mona...
متن کاملIn Proceedings of Concur '98, C a Categorical Axiomatics for Bisimulation
We give an axiomatic category theoretic account of bisimu-lation in process algebras based on the idea of functional bisimulations as open maps. We work with 2-monads, T , on Cat. Operations on processes , such as nondeterministic sum, preexing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T. We may deene the notion of open map for any such 2-monad...
متن کاملDeriving Bisimulation Congruences: A 2-categorical Approach
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for process calculi where terms are viewed modulo structural congruence. We develop their basic properties and show that bisimulation on the LTS derived via GRPOs is a congruence, provided that sufficiently many GRPOs exist...
متن کاملA Categorical Account of Bisimulation for Timed Higher Dimensional Automata
The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of real-time models of concurrency, in order to transfer general concepts of equivalences to the models. In particular, we define a category of timed higher dimensional automata (timed HDA), whose morphisms are to be thought of as simulations, and an accompanying (sub)categor...
متن کاملBisimulation for BL-general fuzzy automata
In this note, we define bisimulation for BL-general fuzzy automata and show that if there is a bisimulation between two BL-general fuzzy automata, then they have the same behavior.For a given BL-general fuzzy automata, we obtain the greatest bisimulation for the BL-general fuzzy automata. Thereafter, if we use the greatest bisimulation, then we obtain a quotient BL-general fuzzy automata and th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1998
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v5i22.19428